Non-classical logic - PDFSEARCH.IO - Document Search Engine

Non-classical logic
Results: 703

#	Item
551	Special Issue on Combining Probability and Logic Introduction Fabio Cozman, Rolf Haenni, Jan-Willem Romeijn, Federica Russo, Gregory Wheeler and Jon Williamson Draft of January 18, 2008 This volume arose out of an intern Add to Reading List Source URL: gregorywheeler.org Language: English - Date: 2010-09-19 10:34:32 Bayesian statistics Philosophy of science Statistical models Non-classical logic Deduction Probabilistic logic Bayesian network Graphical model Bayesian inference Statistics Logic Science
552	An Implementation of Statistical Default Logic Gregory R. Wheeler and Carlos Dam´asio Centro de Inteligˆencia Artificial (CENTRIA) Departamento de Inform´ atica, Universidade Nova de Lisboa[removed]Caparica, Portugal Add to Reading List Source URL: gregorywheeler.org Language: English - Date: 2010-09-19 10:32:17 Non-classical logic Boolean algebra Default logic Knowledge representation Propositional calculus Stable model semantics First-order logic Answer set programming Well-formed formula Logic Mathematical logic Logic programming
553	Logic and Artificial Intelligence Carnegie Mellon University Spring 2013 Instructor: E-Mail: Add to Reading List Source URL: gregorywheeler.org Language: English - Date: 2014-04-04 14:50:30 Reasoning Artificial intelligence Non-classical logic Modal logic Logic programming Knowledge representation and reasoning Epistemic modal logic Description logic Reason Logic Science Mathematical logic
554	Possible Semantics for a Common Framework of Probabilistic Logics Rolf Haenni1 , Jan-Willem Romeijn2 , Gregory Wheeler3 , and Jon Williamson4 1 Bern University of Applied Sciences, Engineering and Information Technology Add to Reading List Source URL: gregorywheeler.org Language: English - Date: 2010-09-19 10:34:37 Philosophical logic Deduction Probability theory Probabilistic logic Interpretation First-order logic Entailment Probability interpretations Modal logic Logic Non-classical logic Model theory
555	Two puzzles concerning measures of uncertainty and the positive Boolean connectives Gregory Wheeler Artificial Intelligence Center - CENTRIA Department of Computer Science, Universidade Nova de Lisboa[removed]Caparica, Add to Reading List Source URL: gregorywheeler.org Language: English - Date: 2010-09-19 10:32:15 Philosophy of mathematics Epistemology Lottery paradox Paradoxes Entailment Probabilistic logic Paraconsistent logic Modal logic Bayesian probability Logic Non-classical logic Philosophical logic
556	Gregory Wheeler Applied Logic without Psychologism Abstract. Logic is a celebrated representation language because of its formal generality. Add to Reading List Source URL: gregorywheeler.org Language: English - Date: 2010-09-19 10:34:23 Philosophy of mathematics Deduction Entailment Metalogic Modal logic Mathematical logic Classical logic Gottlob Frege Function Logic Philosophical logic Non-classical logic
557	CLF: A logical framework for concurrent systems Thesis Proposal Kevin Watkins Carnegie Mellon University Committee: Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2003-05-13 12:40:00 Type theory Theoretical computer science Non-classical logic Dependently typed programming Logical framework Intuitionistic logic Frank Pfenning Dependent type Natural deduction Mathematical logic Logic Logic in computer science
558	T HE N ATU R E OF T H E PHYSIC AL WOR L D BY Add to Reading List Source URL: hist-analytic.com Language: English - Date: 2011-07-30 20:28:30 Philosophy of self Philosophy Science Modal logic Non-classical logic Philosophical logic
559	PDF Document Add to Reading List Source URL: hist-analytic.com Language: English - Date: 2011-07-30 20:46:56 Propositional calculus Boolean algebra Semantics Non-classical logic Modal logic Interpretation Function Propositional formula Tautology Logic Mathematical logic Mathematics
560	Philosophy of the Social Sciences http://pos.sagepub.com/ Book Review: Extensionalism: The Revolution in Logic Michèle Friend Add to Reading List Source URL: www.nimrodbaram.com Language: English - Date: 2013-03-04 03:28:38 Logical consequence Philosophy of language Semantics Intensional logic George Boole Modal logic Mathematical logic Extensionality Mereology Logic Philosophical logic Non-classical logic

UPDATE